# -*- mode: snippet -*-
# name: Unset Tactic Evars Pattern Unification
# --
Unset Tactic Evars Pattern Unification
